منابع مشابه
A Logical Framework for Web Service Discovery
Current technologies for Web Services are based on syntactical descriptions and, therefore, lend themselves to only limited amount of automation. Research efforts in Semantic Web Services, such as WSMO, try to overcome this major deficiency by providing a complete semantic description for Web Services and their related aspects. In this paper we present a logical framework which exploits such fo...
متن کاملA A Logical Verification Methodology for Service-Oriented Computing
ALESSANDRO FANTECHI, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze STEFANIA GNESI, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, ISTI CNR, Pisa ALESSANDRO LAPADULA, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze FRANCO MAZZANTI, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, ISTI CNR, Pisa ROSARIO PUGLIESE, Di...
متن کاملDenial of Service Prevention through Logical Fibering
We propose a logic-based method to protect network nodes or web sites from Denial of Service (DoS) attacks. This method is based upon Logical Fibering. Queries to the node are stored inside the fiber and decisions whether a new query should be accepted or not are taken on an empirical basis. The respective base space consists of the incoming information whereas the fiber itself describes the un...
متن کاملServLog: A unifying logical framework for service modeling and contracting
Implementing semantics-aware services, which includes semantic Web services, requires novel techniques for modeling and analysis. The problems include automated support for service discovery, selection, negotiation, and composition. In addition, support for automated service contracting and contract execution is crucial for any large scale service environment where multiple clients and service ...
متن کاملA new branch of the logical algebra: UP-algebras
In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: British Dental Journal
سال: 2012
ISSN: 0007-0610,1476-5373
DOI: 10.1038/sj.bdj.2012.625